import Math.LinearEquationSolver

mySolve :: Solver             -- ^ SMT Solver to use, pass one of 'z3' or 'cvc4'
        -> [[Integer]]        -- ^ Coefficient matrix (A)
        -> [Integer]          -- ^ Result vector (b)
        -> IO (Maybe [Integer])
        
mySolve = solveIntegerLinearEqs